predicate logic language

谓词逻辑语言

热门查询

starlight　　n. 星光 adj. 有星光的；星光照耀的
leased　　adj. [租赁] 租用的 n. 专线；一线路（指一电话线路每天 24 小时地连通两地） v. 租用（lease的过去式和过去分词）
illocutionary　　adj. 言外行为的；言之行言语行为的
monkey　　n. 猴子；顽童 vi. 胡闹；捣蛋 vt. 嘲弄
feel　　n. 感觉；触摸 vi. 觉得；摸索 vt. 感觉；认为；触摸；试探
sandpiper　　n. [鸟] 鹬
hh　　abbr. 倍硬（指铅笔心硬度 double- hard）；半硬的（Half Hard）；重氢，氚（Heavy Hydrogen）；高功率不定向无线电归航信标（High-powered， non-directional radio homing beacon）；殿下（His Highness）；陛下（His Holiness）；阁下，先生（His Honour）
unopened　　adj. 没有开的；未开放的；未启封的
microcosmic　　adj. 微观的，微观世界的；小宇宙的
lippy　　adj. 爱顶嘴的；出言不逊的
processed　　v. 处理，加工（process的过去形式） adj. 处理的，加工过的
violet　　n. 紫罗兰；堇菜；羞怯的人 adj. 紫色的；紫罗兰色的 n. (Violet)人名；(西)比奥莱特；(法)维奥莱；(印、匈、英)维奥莱特
wilding　　n. 野生植物, 野生苹果树, 野生苹果
radiation　　n. 辐射；发光；放射物
logician　　n. 逻辑学家；论理学者
somewhat　　n. 几分；某物 adv. 有点；多少；几分；稍微
dennis　　n. 丹尼斯（男子名）
Robbins　　罗宾斯(①姓氏 ②Frederick Chapman, 1916-, 美国医学家, 曾获1954年诺贝尔生理学-医学奖)
baba　　n. 兰姆糕 n. (Baba)人名；(日)马场(姓)；(斐)姆巴姆巴；(几、尼日利、塞内、加纳、马里、冈、土、罗、捷、布基、阿拉伯)巴巴
pledging　　n. 保证；抵押；抵押物，典当物 v. 保证（pledge的ing形式）；抵押；向…祝酒